Modelling of Updating Moving Object Database Using Timed Petri Net Model

Tracking moving objects is one of the most common requirements for many location-based applications. The location of a moving object changes continuously but the database location of the moving object cannot update continuously. Modelling of such moving object database should be considered to facilitate study of the performance and design parameters for this database feature. Such study is essential for selecting the optimal solution in order to minimize the implementation of the overhead cost. Location updating strategy for such type of database is the most important criteria. This paper proposed a timed Petri net model based on one of the most common updating strategies, namely the distance updating strategy. In addition, a method for estimating the time needed to update moving object database using the concept of the minimum cycle time in timed Petri nets is presented. This time is the main criterion, which can be used to study the overhead communication cost for moving object database. A typical numerical example is given to demonstrate the advantages of proposed modelling technique.